Manfred Broy: αναζήτηση στον ιστότοπο της Z-Library

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Έτος:

2022

Γλώσσα:

english

Αρχείο:

PDF, 6.02 MB

5.0 / 5.0

english, 2022

Formal Methods and Models for System Design: A System Level Perspective

Springer US

Έτος:

2004

Γλώσσα:

english

Αρχείο:

PDF, 23.23 MB

0 / 0

english, 2004

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Christian Ferdinand, Reinhold Heckmann (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

Έτος:

2006

Γλώσσα:

english

Αρχείο:

PDF, 4.65 MB

0 / 0

english, 2006

Requirements Engineering Artifact Quality: Definition and Control

Universitätsbibliothek der TU München

Broy, Manfred, Femmer, Henning, Glinz, Martin

Έτος:

2017

Γλώσσα:

english

Αρχείο:

PDF, 4.36 MB

0 / 0

english, 2017

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Έτος:

1985

Γλώσσα:

english

Αρχείο:

DJVU, 5.69 MB

0 / 0

english, 1985

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Έτος:

1996

Γλώσσα:

english

Αρχείο:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

K. Samelson, F. L. Bauer (auth.), Manfred Broy, Ernst Denert (eds.)

Έτος:

2001

Γλώσσα:

english

Αρχείο:

PDF, 34.05 MB

0 / 0

english, 2001

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 5.15 MB

0 / 0

english, 2013

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Έτος:

2005

Γλώσσα:

english

Αρχείο:

PDF, 6.45 MB

0 / 0

english, 2005

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Έτος:

1996

Γλώσσα:

english

Αρχείο:

PDF, 8.22 MB

0 / 0

english, 1996

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Έτος:

2010

Γλώσσα:

german

Αρχείο:

PDF, 1.20 MB

0 / 0

german, 2010

Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Έτος:

2005

Γλώσσα:

english

Αρχείο:

PDF, 5.87 MB

0 / 0

english, 2005

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 8.59 MB

0 / 0

english, 2012

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

Έτος:

2009

Γλώσσα:

english

Αρχείο:

PDF, 13.88 MB

0 / 0

english, 2009

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Έτος:

1996

Γλώσσα:

english

Αρχείο:

PDF, 6.23 MB

0 / 5.0

english, 1996

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Έτος:

2010

Γλώσσα:

german

Αρχείο:

PDF, 1.36 MB

0 / 0

german, 2010

Program Design Calculi

Carroll Morgan (auth.), Manfred Broy (eds.)

Έτος:

1993

Γλώσσα:

english

Αρχείο:

PDF, 13.42 MB

0 / 0

english, 1993

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Έτος:

1996

Γλώσσα:

english

Αρχείο:

DJVU, 3.86 MB

0 / 0

english, 1996

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Broy, Manfred (ed.)

Έτος:

1986

Γλώσσα:

english

Αρχείο:

DJVU, 5.62 MB

0 / 0

english, 1986

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Έτος:

2005

Γλώσσα:

english

Αρχείο:

PDF, 6.11 MB

0 / 0

english, 2005

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Έτος:

2009

Γλώσσα:

english

Αρχείο:

PDF, 35.10 MB

0 / 0

english, 2009

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

Έτος:

1998

Γλώσσα:

english

Αρχείο:

PDF, 3.20 MB

0 / 0

english, 1998

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Έτος:

2003

Γλώσσα:

english

Αρχείο:

PDF, 7.03 MB

0 / 0

english, 2003

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Έτος:

2003

Γλώσσα:

english

Αρχείο:

PDF, 5.85 MB

0 / 0

english, 2003

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Έτος:

2005

Γλώσσα:

english

Αρχείο:

PDF, 5.87 MB

0 / 0

english, 2005

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Έτος:

2005

Γλώσσα:

english

Αρχείο:

TXT, 1.63 MB

0 / 0

english, 2005

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Έτος:

2010

Γλώσσα:

german

Αρχείο:

PDF, 1.26 MB

0 / 5.0

german, 2010

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Έτος:

2005

Γλώσσα:

english

Αρχείο:

FB2 , 3.18 MB

0 / 0

english, 2005

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Έτος:

2005

Γλώσσα:

english

Αρχείο:

MOBI , 1.81 MB

0 / 0

english, 2005

Program design calculi

Manfred Broy

Έτος:

1993

Γλώσσα:

english

Αρχείο:

DJVU, 3.62 MB

0 / 3.5

english, 1993

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Springer International Publishing

Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck

Έτος:

2021

Γλώσσα:

english

Αρχείο:

PDF, 16.86 MB

0 / 4.0

english, 2021

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger (eds.)

Έτος:

2016

Γλώσσα:

english

Αρχείο:

PDF, 42.87 MB

0 / 0

english, 2016

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Klaus Beetz, Dr. Wolfgang Böhm (auth.), Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 10.50 MB

0 / 0

english, 2012

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Έτος:

1985

Γλώσσα:

english

Αρχείο:

PDF, 26.53 MB

0 / 0

english, 1985

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Springer Fachmedien Wiesbaden; Springer Vieweg

Manfred Broy

Έτος:

2019

Γλώσσα:

german

Αρχείο:

PDF, 4.91 MB

0 / 5.0

german, 2019

Einführung in die Softwaretechnik

Manfred Broy & Marco Kuhrmann

Έτος:

2021

Γλώσσα:

german

Αρχείο:

PDF, 21.92 MB

0 / 0

german, 2021

Programming and Mathematical Method: International Summer School

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Έτος:

1992

Γλώσσα:

english

Αρχείο:

PDF, 31.22 MB

0 / 0

english, 1992

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

Έτος:

1982

Γλώσσα:

english

Αρχείο:

PDF, 43.75 MB

0 / 0

english, 1982

Software Pioneers: Contributions to Software Engineering

Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)

Έτος:

2002

Γλώσσα:

english

Αρχείο:

PDF, 305.89 MB

0 / 0

english, 2002

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)

Έτος:

2002

Γλώσσα:

german

Αρχείο:

PDF, 10.18 MB

0 / 0

german, 2002

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Wolfgang Böhm (editor), Manfred Broy (editor), Cornel Klein (editor), Klaus Pohl (editor), Bernhard Rumpe (editor), Sebastian Schröck (editor)

Έτος:

2020

Γλώσσα:

english

Αρχείο:

PDF, 16.86 MB

0 / 5.0

english, 2020

VDI-Lexikon Informatik und Kommunikationstechnik

Prof. Dr. rer. nat. Manfred Broy (auth.), Prof. Dr. rer. nat. Manfred Broy, Prof. Dr. rer. nat. Otto Spaniol (eds.)

Έτος:

1999

Γλώσσα:

german

Αρχείο:

PDF, 34.77 MB

0 / 0

german, 1999

Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Έτος:

2005

Γλώσσα:

english

Αρχείο:

PDF, 5.92 MB

0 / 0

english, 2005

Program Construction: International Summer School

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

Έτος:

1979

Γλώσσα:

english

Αρχείο:

PDF, 10.85 MB

0 / 0

english, 1979

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Richard S. Bird (auth.), Manfred Broy (eds.)

Έτος:

1987

Γλώσσα:

english

Αρχείο:

PDF, 12.98 MB

0 / 0

english, 1987

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Professor Dr. Manfred Broy (auth.)

Έτος:

1995

Γλώσσα:

german

Αρχείο:

PDF, 9.57 MB

0 / 0

german, 1995

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

Prof. Dr. Manfred Broy (auth.)

Έτος:

1998

Γλώσσα:

german

Αρχείο:

PDF, 14.65 MB

0 / 0

german, 1998

Program Construction: International Summer School

Έτος:

1979

Γλώσσα:

english

Αρχείο:

DJVU, 4.87 MB

0 / 0

english, 1979

Mathematical Methods in Program Development